$M$.A $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$a$:Knd$\mid$ fpf{-}dom(KindDeq; $a$; 1of(2of($M$))) \}